141. Formal modeling :
Author: Gul Agha, Olivier Danvy, José Meseguer. (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification,Formal methods (Computer science),Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
Classification :
QA76
.
9
.
F67
F67
2011


142. Fractional dynamic calculus and fractional dynamic equations on time scales /
Author: Svetlin G. Georgiev.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Differential equations.,Dynamics-- Mathematics.,Fractional calculus.,Calculus,Integral Transforms, Operational Calculus,Mathematical Physics,Mathematics,Measure and Integration,Calculus.,Differential equations.,Dynamics-- Mathematics.,Fractional calculus.,Integral calculus & equations.,Mathematical physics.,MATHEMATICS-- Calculus.,MATHEMATICS-- Mathematical Analysis.
Classification :
QA314


143. Fractional order processes :
Author: by Seshu Kumar Damarla and Madhusree Kundu.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Chaotic behavior in systems-- Mathematical models.,Fractional calculus.,Intelligent control systems-- Mathematics.,Chaotic behavior in systems-- Mathematical models.,Fractional calculus.,MATHEMATICS-- Calculus.,MATHEMATICS-- Mathematical Analysis.
Classification :
QA314
.
D295
2019eb


144. Functional analysis and optimization methods in hadron physics
Author: Irinel Caprini
Library: Library of College of Science University of Tehran (Tehran)
Subject: Quantum chromodynamics,a04,Hadrons
Classification :
QC793
.
5
.
H32
2019


145. Functional analysis and optimization methods in hadron physics /
Author: Irinel Caprini.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Hadrons.,Quantum chromodynamics.,Hadrons.,Quantum chromodynamics.,SCIENCE-- Physics-- Quantum Theory.
Classification :
QC793
.
5
.
H32


146. Functional and operatorial statistics /
Author: [edited by] Sophie Dabo-Niang, Frédéric Ferraty.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematical statistics-- Methodology, Congresses.,Statistics, Congresses.,Mathematical statistics-- Methodology.,Mathematical statistics-- Methodology.,Mathematics.,Statistics.,Statistics.
Classification :
QA276
.
A1
I58
2008eb


147. Fundamentals of numerical mathematics for physicists and engineers
Author: Alvaro Meseguer.,Meseguer, Alvaro
Library: Library of College of Science University of Tehran (Tehran)
Subject: Numerical analysis.,Mathematical physics.,Engineering mathematics.
Classification :
QA297
.
M457
2020


148. Games + activities + projects :
Author: Suzanne L. Churchman.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematical recreations.,Mathematics-- Study and teaching (Elementary),Mathematics, Problems, exercises, etc.,EDUCATION-- Teaching Methods & Materials-- Mathematics.,Mathematical recreations.,Mathematics-- Study and teaching (Elementary),Mathematics.
Classification :
QA135
.
6
.
C48
2006eb


149. Genericity in nonlinear analysis
Author: / by Simeon Reich, Alexander J. Zaslavski
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Nonlinear functional analysis,MATHEMATICS / Calculus, bisacsh,MATHEMATICS / Mathematical Analysis, bisacsh
Classification :
E-BOOK

150. Global Optimization in Engineering Design
Author: edited by Ignacio E. Grossmann.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Chemical engineering.,Engineering design.,Mathematical optimization.,Mathematics.,Operations research.

151. Gradient smoothing methods with programming
Author: / G. R. Liu, Zirui Mao.,Liu, G. R.
Library: Library of College of Science University of Tehran (Tehran)
Subject: Viscous flow,Landslides,Parametric modeling,Lagrange equations.,Smoothing (Numerical analysis),Mathematical models.,Mathematical models.,Data processing.

152. Groundwater Flow and Quality Modelling
Author: edited by E. Custodio, A. Gurgui, J.P. Lobo Ferreira.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Groundwater -- Quality -- Mathematical models -- Congresses.,Groundwater flow -- Mathematical models -- Congresses.,Groundwater flow -- Mathematical models.

153. Groundwater optimization handbook
Author: Richard C. Peralta with Ineke M. Kalwij.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Groundwater flow.,Groundwater-- Pollution.,Water quality management.,Groundwater flow.,Groundwater-- Pollution.,TECHNOLOGY & ENGINEERING / Environmental / General.,Water quality management.

154. Hadamard transforms
Author: Sos Agaian ... [et al.].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Hadamard matrices.

155. Handbook of Combinatorial Optimization
Author: edited by Panos M. Pardalos, Ding-Zhu Du, Ronald L. Graham.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorics.,Mathematical optimization.,Mathematics.

156. Handbook of Mathematical Geosciences
Author: edited by B.S. Daya Sagar, Qiuming Cheng, Frits Agterberg.
Library: Library of College of Science University of Tehran (Tehran)
Subject: Geology,Mathematical physics.,Statistical physics.,Statistics.,Statistical methods.
Classification :
QE
33
.
2


157. Handbook of Mathematical Geosciences :
Author: edited by B.S. Daya Sagar, Qiuming Cheng, Frits Agterberg.
Library: Library of Institude of Geophysics (Tehran)
Subject: Geology,Mathematical physics.,Statistical physics.,Statistics.,Quantitative Geology.,Applications of Nonlinear Dynamics and Chaos Theory.,Mathematical Applications in the Physical Sciences.,Statistics and Computing/Statistics Programs.,Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Sciences.,Statistical methods.

158. Handbook of mathematical geosciences :
Author: B.S. Daya Sagar, Qiuming Cheng, Frits Agterberg, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Geology-- Mathematics, Handbooks, manuals, etc.,Geology-- Mathematics.
Classification :
QE33
.
2
.
M3


159. Handbook on material and energy balance calculations in materials processing /
Author: Arthur E. Morris, Gordon Geiger, H. Alan Fine
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Chemical processes-- Mathematical models, Handbooks, manuals, etc,Conservation laws (Physics)-- Mathematics, Handbooks, manuals, etc,Heat balance (Engineering)-- Mathematics, Handbooks, manuals, etc,Manufacturing processes-- Mathematical models, Handbooks, manuals, etc,Materials, Handbooks, manuals, etc,Phase rule and equilibrium, Handbooks, manuals, etc
Classification :
TP155
.
7
.
M66
2011


160. Harmonic balance for nonlinear vibration problems /
Author: Malte Krack and Johann Gross.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Differential equations, Nonlinear.,Nonlinear mechanics.,Vibration-- Mathematical models.,Differential equations, Nonlinear.,Nonlinear mechanics.,SCIENCE-- Mechanics-- General.,SCIENCE-- Mechanics-- Solids.,Vibration-- Mathematical models.
Classification :
QA805

